digraph TS_2 {
c1 -> c2 [label="i"]
c1 -> c3 [label="b"]
c2 -> c3 [label="l"]
c3 -> c4 [label="c"]
[initial = {c1} ]
[final = {c1,c2,c3,c4} ]
}
